transition:    
t1-a-t2;
t2-b-t1;
initial:
t1;
final: 
t1.